Micron Document
____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|


The NomadNet German Wikipedia | Archives | Info
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b

πŸ” Search

Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―

Subharmonische Funktion
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
In der Mathematik bezeichnen subharmonische und superharmonische Funktionen wichtige Klassen von Funktionen, die ihre Anwendungen in der Theorie Partieller Differentialgleichungen, Funktionentheorie und Potentialtheorie haben.

Subharmonische Funktionen sind zu konvexen Funktionen einer Variable folgendermaßen verbunden: Wenn der Graph einer konvexen Funktion und eine Gerade sich an zwei Punkten schneiden, ist der Graph der konvexen Funktion unter der Geraden zwischen diesen beiden Punkten. Auf die gleiche Art sind die Werte einer subharmonischen Funktion im Inneren einer Kugel nicht grâßer als die einer harmonischen Funktion, wenn dies für den Rand der Kugel gilt. Durch diese Eigenschaften kânnen subharmonische Funktionen definiert werden.

Superharmonische Funktionen kΓΆnnen auf die gleiche Art definiert werden, wobei β€žnicht grâßerβ€œ durch β€žnicht kleinerβ€œ ersetzt wird. Alternativ kann eine Funktion f {\displaystyle f} als superharmonisch definiert werden, wenn βˆ’ βˆ’ f {\displaystyle -f} subharmonisch ist. Daher kann jede Eigenschaft subharmonischer Funktionen leicht auf superharmonische Funktionen ΓΌbertragen werden.

Contents

β€’ Stochastik
β€’ Quellen

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Formale Definition

Sei G {\displaystyle G} eine Teilmenge des Euklidischen Raums R n {\displaystyle {\mathbb {R} }^{n}} und sei

Ο† Ο† : : G β†’ β†’ R βˆͺ βˆͺ { βˆ’ βˆ’ ∞ ∞ } {\displaystyle \varphi \colon G\to {\mathbb {R} }\cup \{-\infty \}}

eine oberhalbstetige Funktion. Dann ist Ο† Ο† {\displaystyle \varphi } subharmonisch, falls fΓΌr jede abgeschlossene Kugel B ( x , r ) Β― Β― {\displaystyle {\overline {B(x,r)}}} mit Mittelpunkt x {\displaystyle x} und Radius r {\displaystyle r} aus G {\displaystyle G} und fΓΌr jede reellwertige, stetige Funktion h {\displaystyle h} auf B ( x , r ) Β― Β― {\displaystyle {\overline {B(x,r)}}} , die harmonisch in B ( x , r ) {\displaystyle B(x,r)} ist und Ο† Ο† ( y ) ≀ ≀ h ( y ) {\displaystyle \varphi (y)\leq h(y)} fΓΌr alle y {\displaystyle y} auf dem Rand βˆ‚ βˆ‚ B ( x , r ) {\displaystyle \partial B(x,r)} von B ( x , r ) {\displaystyle B(x,r)} erfΓΌllt, stets Ο† Ο† ( y ) ≀ ≀ h ( y ) {\displaystyle \varphi (y)\leq h(y)} fΓΌr alle y ∈ ∈ B ( x , r ) {\displaystyle y\in B(x,r)} gilt.

Damit ist auch die Funktion, die identisch βˆ’ βˆ’ ∞ ∞ {\displaystyle -\infty } ist, subharmonisch. Allerdings schließen manche Autoren diesen Fall per Definition aus.

Eigenschaften

β€’ Eine oberhalbstetige Funktion Ο† Ο† : : G β†’ β†’ R βˆͺ βˆͺ { βˆ’ βˆ’ ∞ ∞ } {\displaystyle \varphi \colon G\to \mathbb {R} \cup \{-\infty \}} ist genau dann subharmonisch, wenn fΓΌr jedes x ∈ ∈ G {\displaystyle x\in G} mit B ( x , r ) Β― Β― βŠ† βŠ† G {\displaystyle {\overline {B(x,r)}}\subseteq G} gilt

Ο† Ο† ( x ) ≀ ≀ 1 | βˆ‚ βˆ‚ B ( x , r ) | ∫ ∫ βˆ‚ βˆ‚ B ( x , r ) Ο† Ο† ( s ) d Ξ· Ξ· , {\displaystyle \varphi (x)\leq {\frac {1}{|\partial B(x,r)|}}\int _{\partial B(x,r)}\varphi (s)d\eta ,}
wobei d η η {\displaystyle d\eta } das OberflÀchenmaß bezeichnet. Dies bedeutet, dass eine subharmonische Funktion an keinem Punkt grâßer als das arithmetische Mittel ihrer Werte auf einem Kreis um diesen Punkt ist.

β€’ Das Maximum einer subharmonischen Funktion kann nicht im Inneren ihres Definitionsbereichs angenommen werden, falls die Funktion nicht konstant ist. Dies ist das sogenannte Maximumprinzip, das unmittelbar aus der vorangehenden Eigenschaft folgt.
β€’ Eine Funktion ist genau dann harmonisch, wenn sie sowohl subharmonisch als auch superharmonisch ist.
β€’ Wenn Ο† Ο† {\displaystyle \varphi } zweimal stetig differenzierbar auf einer offenen Menge G {\displaystyle G} aus R n {\displaystyle \mathbb {R} ^{n}} ist, dann ist Ο† Ο† {\displaystyle \varphi } subharmonisch genau dann, wenn

Ξ” Ξ” Ο† Ο† β‰₯ β‰₯ 0 {\displaystyle \Delta \varphi \geq 0} in G {\displaystyle G} gilt,
wobei Ξ” Ξ” {\displaystyle \Delta } den Laplace-Operator bezeichnet.

Subharmonische Funktionen in der komplexen Zahlenebene

Subharmonische Funktionen sind in der Funktionentheorie vom besonderen Interesse, da sie eng mit holomorphen Funktionen verbunden sind.

Eine reellwertige, stetige Funktion Ο† Ο† {\displaystyle \varphi } einer komplexen Variablen (d. h. von zwei reellen Variablen), die auf einer offenen Menge G βŠ‚ βŠ‚ C {\displaystyle G\subset \mathbb {C} } definiert ist, ist genau dann subharmonisch, wenn fΓΌr jede abgeschlossene Kreisscheibe D ( z , r ) βŠ‚ βŠ‚ G {\displaystyle D(z,r)\subset G} mit Mittelpunkt z {\displaystyle z} und Radius r {\displaystyle r} gilt

Ο† Ο† ( z ) ≀ ≀ 1 2 Ο€ Ο€ ∫ ∫ 0 2 Ο€ Ο€ Ο† Ο† ( z + r e i ΞΈ ΞΈ ) d ΞΈ ΞΈ . {\displaystyle \varphi (z)\leq {\frac {1}{2\pi }}\int _{0}^{2\pi }\varphi (z+re^{i\theta })d\theta .}

Falls f {\displaystyle f} eine holomorphe Funktion ist, dann ist

Ο† Ο† ( z ) = log ⁑ ⁑ | f ( z ) | {\displaystyle \varphi (z)=\log \left|f(z)\right|}

subharmonisch, wenn man Ο† Ο† ( z ) {\displaystyle \varphi (z)} an den Nullstellen auf βˆ’βˆž setzt.

In der komplexen Zahlenebene kann die Verbindung zu den konvexen Funktionen auch durch den Fakt begrΓΌndet werden, dass eine subharmonische Funktion f {\displaystyle f} auf einem Gebiet G βŠ‚ βŠ‚ C {\displaystyle G\subset \mathbb {C} } , die konstant in Richtung der ImaginΓ€rachse ist, konvex in Richtung der reellen Achse ist, und andersherum.

Stochastik

In der Markov-Theorie werden superharmonische Funktionen verwendet. Ist P {\displaystyle P} der Übergangsoperator, so ist eine Funktion f {\displaystyle f} superharmonisch genau dann, wenn P f ≀ ≀ f {\displaystyle Pf\leq f} . Statt superharmonisch wird auch der Begriff exzessiv benutzt.

Die kleinste superharmonische bzw. exzessive Funktion, die die Auszahlungsfunktion majorisiert, ist der Wert des Spiels.

Quellen

β€’ John B. Conway: Functions of One Complex Variable. 1. Band 2. edition. Springer-Verlag, New York NY u. a. 1978, ISBN 0-387-90328-3 (Graduate Texts in Mathematics 11).
β€’ Joseph L. Doob: Classical Potential Theory and Its Probabilistic Counterpart. Springer-Verlag, New York NY u. a. 1984, ISBN 3-540-90881-1 (Grundlehren der mathematischen Wissenschaften 262).
β€’ Steven G. Krantz: Function Theory of Several Complex Variables. 2. edition, reprinted with corrections. AMS Chelsea Publishing, Providence RI 2001, ISBN 0-8218-2724-3.